An Approach Towards the Verification of Hybrid Rule/Frame-based Expert Systems Using Coloured Petri Nets

High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the analysis of the knowledge inference during the reasoning process, and to support the system verification which increasingly becomes an integral part of expert system development. Nevertheless, there is not much attention being put on systems other than the traditional ones. In this paper, we described an approach to model hybrid (ruleand frame-based) expert systems using Coloured Petri Nets and the concept of controlled state tokens. The analysis of the proposed model is by constructing and examining the reachability tree spanned by the knowledge inference. Such methodology has an implication for supporting the verification process in hybrid systems.